TSTP Solution File: DAT220^1 by SInE---0.4